Réseaux Probabilistes Orientés Objet
نویسندگان
چکیده
RÉSUMÉ. La représentation de connaissances incertaines est un problème important dans le domaine de l’intelligence artificielle. Les réseaux probabilistes proposent une solution intéressante pour de nombreuses raisons théoriques et pratiques mais ont le désavantage d’être difficiles à créer autant qu’à maintenir. Dans cet article, nous définissons un cadre de spécification orientée objet qui permet de construire un modèle en manipulant des sous-réseaux indépendants. Ce cadre offre également un système d’héritage efficace et un moyen de représentation compacte des réseaux probabilistes dynamiques.
منابع مشابه
Vérification par model-checking de systèmes hybrides objets-règles
RÉSUMÉ. Un nombre croissant d’approches mixtes combinent programmation à base de règles et programmation orientée objets. La vérification des programmes hybrides à base d’objets et de règles est devenue un problème de plus en plus urgent à résoudre. Les méthodes de vérification existantes, développées soit pour les programmes orientés objets soit pour les systèmes de règles classiques, ne sont ...
متن کاملModeling and verification of probabilistic data-aware business processes. (Modélisation et vérification des processus métier orientés données probabilistes)
متن کامل
Représentation graphique des objets et sous-typage
RÉSUMÉ. Les dépendances internes parmi les propriétés des objets caractérisent leurs comportements et les différencient des enregistrements. Des problèmes fondamentaux de typage/soustypage persistent encore dans les systèmes de types d’objets parce que les interdépendances parmi ces propriétés ne sont pas prises en compte. Dans ce papier, nous proposons une nouvelle méthode de typage des langag...
متن کاملDECOR : Détection et correction des défauts dans les systèmes orientés objet. (DECOR : Detection and Correction of Smells in Object-oriented Systems)
متن کامل
Of first-class methods and dynamic scope
When considering the wide range of object-oriented programming languages, one hardly ever finds methods to be first-class entities. At first sight, this phenomenon seems to be caused by a concern for an efficient implementation. Closer inspection however, reveals more subtle grounds that are rooted in issues more fundamental than performance. This paper investigates this aspect of object-orient...
متن کامل